Name | mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-fixnet6.opb |
MD5SUM | 08a1ce7c6c4cc8e461ae1aeabdf15da0 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 3289593 |
Optimality of the best value was proved | NO |
Number of terms in the objective function | 8282 |
Biggest coefficient in the objective function | 1048576 |
Number of bits for the biggest coefficient in the objective function | 21 |
Sum of the numbers in the objective function | 524133752 |
Number of bits of the sum of numbers in the objective function | 29 |
Biggest number in a constraint | 1048576 |
Number of bits of the biggest number in a constraint | 21 |
Biggest sum of numbers in a constraint | 524133752 |
Number of bits of the biggest sum of numbers | 29 |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 1189.05 |
Number of variables | 9890 |
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 | 1072 |
LAUNCH ON wulflinc8 THE 2005-09-23 18:20:09 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=9198 boxname=wulflinc8 idbench=994 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 08a1ce7c6c4cc8e461ae1aeabdf15da0 /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-fixnet6.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-fixnet6.opb IDLAUNCH: 9198 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.023 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.023 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: 917924 kB Buffers: 13712 kB Cached: 85500 kB SwapCached: 0 kB Active: 45824 kB Inactive: 56356 kB HighTotal: 131008 kB HighFree: 42392 kB LowTotal: 903652 kB LowFree: 875532 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6976 kB Slab: 8912 kB Committed_AS: 63660 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 18:40:21 (client local time) WITH STATUS 0 IN 1202.23 SECONDS stats: 9198 7 1202.23 0
c This solver internally uses Chaff 2004.11.15 Simplified c running zchaff... c Decision: 321709/1103678 Time: 259.045/86400 c Decision: 321709/1103678 Time: 301.263/86400 c Decision: 321709/1103678 Time: 338.708/86400 c Decision: 321709/1103678 Time: 397.994/86400 c Decision: 321709/1103678 Time: 446.463/86400 c Decision: 321709/1103678 Time: 486.823/86400 c Decision: 321709/1103678 Time: 546.481/86400 c Decision: 321709/1103678 Time: 593.755/86400 c Decision: 321709/1103678 Time: 650.412/86400 c Decision: 321709/1103678 Time: 691.274/86400 c Decision: 321764/1103678 Time: 775.83/86400 c Decision: 321764/1103678 Time: 818.808/86400 c Decision: 321764/1103678 Time: 863.999/86400 c Decision: 321764/1103678 Time: 896.878/86400 c Decision: 321766/1103678 Time: 936.692/86400 c Decision: 321766/1103678 Time: 963.314/86400 c Decision: 321771/1103678 Time: 995.729/86400 c Decision: 321771/1103678 Time: 1015.57/86400 c Decision: 321771/1103678 Time: 1034.86/86400 c Decision: 321771/1103678 Time: 1072.15/86400 c Decision: 321771/1103678 Time: 1111.64/86400 c Decision: 321771/1103678 Time: 1143.54/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/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 18 0 0 0 0 0 0 0 24 0 1 0 22313579 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 373 2 364 364 0 9 0 [pid=10440] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-13-7-fixnet6.opb [startup+10.0026 s] Raw data (loadavg): 0.96 1.02 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 28301 0 0 0 931 64 0 0 25 0 1 0 22313579 87011328 17129 4294967295 134512640 135987407 3221224560 3220883680 134537371 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 21243 17129 364 364 0 20879 0 [pid=10440] vsize: 84972 Current children cumulated CPU time (s) 9.95 Current children cumulated vsize (Kb) 84972 [startup+20.0034 s] Raw data (loadavg): 0.97 1.02 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 56459 0 0 0 1870 125 0 0 25 0 1 0 22313579 163913728 34042 4294967295 134512640 135987407 3221224560 3221030080 134878063 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 40018 34042 364 364 0 39654 0 [pid=10440] vsize: 160072 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 160072 [startup+30.0041 s] Raw data (loadavg): 0.97 1.02 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 96077 0 0 0 2782 211 0 0 25 0 1 0 22313579 313798656 51452 4294967295 134512640 135987407 3221224560 3221149548 134892452 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 76611 51452 364 364 0 76247 0 [pid=10440] vsize: 306444 Current children cumulated CPU time (s) 29.93 Current children cumulated vsize (Kb) 306444 [startup+40.0049 s] Raw data (loadavg): 0.98 1.02 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 112504 0 0 0 3745 248 0 0 25 0 1 0 22313579 318529536 67606 4294967295 134512640 135987407 3221224560 3220986124 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 77766 67606 364 364 0 77402 0 [pid=10440] vsize: 311064 Current children cumulated CPU time (s) 39.93 Current children cumulated vsize (Kb) 311064 [startup+50.0057 s] Raw data (loadavg): 0.98 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 173752 0 0 0 4613 375 0 0 25 0 1 0 22313579 648208384 109246 4294967295 134512640 135987407 3221224560 3221155520 134887487 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 158254 109250 364 364 0 157890 0 [pid=10440] vsize: 633016 Current children cumulated CPU time (s) 49.88 Current children cumulated vsize (Kb) 633016 [startup+60.0065 s] Raw data (loadavg): 0.98 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 187181 0 0 0 5574 410 0 0 25 0 1 0 22313579 569647104 95234 4294967295 134512640 135987407 3221224560 3221223308 134811686 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 139074 95234 364 364 0 138710 0 [pid=10440] vsize: 556296 Current children cumulated CPU time (s) 59.84 Current children cumulated vsize (Kb) 556296 [startup+70.0072 s] Raw data (loadavg): 0.98 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189293 0 0 0 6553 420 0 0 25 0 1 0 22313579 579674112 97281 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 141522 97281 364 364 0 141158 0 [pid=10440] vsize: 566088 Current children cumulated CPU time (s) 69.73 Current children cumulated vsize (Kb) 566088 [startup+80.008 s] Raw data (loadavg): 0.99 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189645 0 0 0 7548 423 0 0 25 0 1 0 22313579 581185536 97600 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 141891 97600 364 364 0 141527 0 [pid=10440] vsize: 567564 Current children cumulated CPU time (s) 79.71 Current children cumulated vsize (Kb) 567564 [startup+90.0078 s] Raw data (loadavg): 0.99 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189748 0 0 0 8543 425 0 0 25 0 1 0 22313579 581615616 97670 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 141996 97670 364 364 0 141632 0 [pid=10440] vsize: 567984 Current children cumulated CPU time (s) 89.68 Current children cumulated vsize (Kb) 567984 [startup+100.008 s] Raw data (loadavg): 0.99 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 189935 0 0 0 9540 427 0 0 25 0 1 0 22313579 582283264 97824 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142159 97824 364 364 0 141795 0 [pid=10440] vsize: 568636 Current children cumulated CPU time (s) 99.67 Current children cumulated vsize (Kb) 568636 [startup+110.008 s] Raw data (loadavg): 0.99 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190453 0 0 0 10535 430 0 0 25 0 1 0 22313579 584171520 98177 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142620 98177 364 364 0 142256 0 [pid=10440] vsize: 570480 Current children cumulated CPU time (s) 109.65 Current children cumulated vsize (Kb) 570480 [startup+120.008 s] Raw data (loadavg): 0.99 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190526 0 0 0 11533 431 0 0 25 0 1 0 22313579 584441856 98250 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142686 98250 364 364 0 142322 0 [pid=10440] vsize: 570744 Current children cumulated CPU time (s) 119.64 Current children cumulated vsize (Kb) 570744 [startup+130.009 s] Raw data (loadavg): 0.99 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190627 0 0 0 12530 432 0 0 25 0 1 0 22313579 584704000 98285 4294967295 134512640 135987407 3221224560 3221223248 134812038 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142750 98285 364 364 0 142386 0 [pid=10440] vsize: 571000 Current children cumulated CPU time (s) 129.62 Current children cumulated vsize (Kb) 571000 [startup+140.009 s] Raw data (loadavg): 0.99 1.01 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190735 0 0 0 13527 433 0 0 25 0 1 0 22313579 585138176 98393 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142856 98393 364 364 0 142492 0 [pid=10440] vsize: 571424 Current children cumulated CPU time (s) 139.6 Current children cumulated vsize (Kb) 571424 [startup+150.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190790 0 0 0 14524 434 0 0 25 0 1 0 22313579 585269248 98415 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142888 98415 364 364 0 142524 0 [pid=10440] vsize: 571552 Current children cumulated CPU time (s) 149.58 Current children cumulated vsize (Kb) 571552 [startup+160.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190814 0 0 0 15521 435 0 0 25 0 1 0 22313579 585269248 98439 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142888 98439 364 364 0 142524 0 [pid=10440] vsize: 571552 Current children cumulated CPU time (s) 159.56 Current children cumulated vsize (Kb) 571552 [startup+170.008 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190833 0 0 0 16518 436 0 0 25 0 1 0 22313579 585269248 98458 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142888 98458 364 364 0 142524 0 [pid=10440] vsize: 571552 Current children cumulated CPU time (s) 169.54 Current children cumulated vsize (Kb) 571552 [startup+180.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190852 0 0 0 17516 437 0 0 25 0 1 0 22313579 585269248 98477 4294967295 134512640 135987407 3221224560 3221223324 134812119 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142888 98477 364 364 0 142524 0 [pid=10440] vsize: 571552 Current children cumulated CPU time (s) 179.53 Current children cumulated vsize (Kb) 571552 [startup+190.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190874 0 0 0 18514 438 0 0 25 0 1 0 22313579 585269248 98499 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142888 98499 364 364 0 142524 0 [pid=10440] vsize: 571552 Current children cumulated CPU time (s) 189.52 Current children cumulated vsize (Kb) 571552 [startup+200.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190932 0 0 0 19510 439 0 0 25 0 1 0 22313579 585400320 98524 4294967295 134512640 135987407 3221224560 3221223408 134790060 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142920 98524 364 364 0 142556 0 [pid=10440] vsize: 571680 Current children cumulated CPU time (s) 199.49 Current children cumulated vsize (Kb) 571680 [startup+210.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 190984 0 0 0 20507 441 0 0 25 0 1 0 22313579 585666560 98576 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 142985 98576 364 364 0 142621 0 [pid=10440] vsize: 571940 Current children cumulated CPU time (s) 209.48 Current children cumulated vsize (Kb) 571940 [startup+220.009 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 191297 0 0 0 21504 443 0 0 25 0 1 0 22313579 586629120 98790 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3225643616 0 0 17 0 0 0 Raw data (/proc/10440/statm): 143220 98790 364 364 0 142856 0 [pid=10440] vsize: 572880 Current children cumulated CPU time (s) 219.47 Current children cumulated vsize (Kb) 572880 [startup+230.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 191734 0 0 0 22499 446 0 0 25 0 1 0 22313579 588226560 99062 4294967295 134512640 135987407 3221224560 3221223376 134824238 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 143610 99062 364 364 0 143246 0 [pid=10440] vsize: 574440 Current children cumulated CPU time (s) 229.45 Current children cumulated vsize (Kb) 574440 [startup+240.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 191771 0 0 0 23496 447 0 0 25 0 1 0 22313579 588226560 99099 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 143610 99099 364 364 0 143246 0 [pid=10440] vsize: 574440 Current children cumulated CPU time (s) 239.43 Current children cumulated vsize (Kb) 574440 [startup+250.01 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 192146 0 0 0 24489 450 0 0 25 0 1 0 22313579 590049280 99474 4294967295 134512640 135987407 3221224560 3221223376 134824240 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 144055 99474 364 364 0 143691 0 [pid=10440] vsize: 576220 Current children cumulated CPU time (s) 249.39 Current children cumulated vsize (Kb) 576220 [startup+260.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 193074 0 0 0 25478 454 0 0 25 0 1 0 22313579 594481152 100369 4294967295 134512640 135987407 3221224560 3221223344 134812358 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 145137 100369 364 364 0 144773 0 [pid=10440] vsize: 580548 Current children cumulated CPU time (s) 259.32 Current children cumulated vsize (Kb) 580548 [startup+270.011 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 193333 0 0 0 26474 457 0 0 25 0 1 0 22313579 595689472 100562 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 145432 100562 364 364 0 145068 0 [pid=10440] vsize: 581728 Current children cumulated CPU time (s) 269.31 Current children cumulated vsize (Kb) 581728 [startup+280.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 193835 0 0 0 27469 459 0 0 25 0 1 0 22313579 597143552 100834 4294967295 134512640 135987407 3221224560 3221223248 134811870 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 145787 100834 364 364 0 145423 0 [pid=10440] vsize: 583148 Current children cumulated CPU time (s) 279.28 Current children cumulated vsize (Kb) 583148 [startup+290.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 194286 0 0 0 28462 461 0 0 25 0 1 0 22313579 598528000 101055 4294967295 134512640 135987407 3221224560 3221223424 134812612 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 146125 101055 364 364 0 145761 0 [pid=10440] vsize: 584500 Current children cumulated CPU time (s) 289.23 Current children cumulated vsize (Kb) 584500 [startup+300.012 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 194785 0 0 0 29448 466 0 0 25 0 1 0 22313579 600842240 101489 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 146690 101489 364 364 0 146326 0 [pid=10440] vsize: 586760 Current children cumulated CPU time (s) 299.14 Current children cumulated vsize (Kb) 586760 [startup+310.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 196947 0 0 0 30441 472 0 0 25 0 1 0 22313579 600842240 101495 4294967295 134512640 135987407 3221224560 3221223376 134876808 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 146690 101495 364 364 0 146326 0 [pid=10440] vsize: 586760 Current children cumulated CPU time (s) 309.13 Current children cumulated vsize (Kb) 586760 [startup+320.013 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 197958 0 0 0 31426 479 0 0 25 0 1 0 22313579 605786112 102408 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 147897 102408 364 364 0 147533 0 [pid=10440] vsize: 591588 Current children cumulated CPU time (s) 319.05 Current children cumulated vsize (Kb) 591588 [startup+330.014 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 199039 0 0 0 32407 487 0 0 25 0 1 0 22313579 609923072 103267 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10440/statm): 148907 103267 364 364 0 148543 0 [pid=10440] vsize: 595628 Current children cumulated CPU time (s) 328.94 Current children cumulated vsize (Kb) 595628 [startup+340.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 199963 0 0 0 33393 492 0 0 25 0 1 0 22313579 614080512 103995 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 149922 103995 364 364 0 149558 0 [pid=10440] vsize: 599688 Current children cumulated CPU time (s) 338.85 Current children cumulated vsize (Kb) 599688 [startup+350.014 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 200234 0 0 0 34383 496 0 0 25 0 1 0 22313579 615292928 104266 4294967295 134512640 135987407 3221224560 3221223280 134814273 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 150218 104266 364 364 0 149854 0 [pid=10440] vsize: 600872 Current children cumulated CPU time (s) 348.79 Current children cumulated vsize (Kb) 600872 [startup+360.015 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 202525 0 0 0 35365 505 0 0 25 0 1 0 22313579 616026112 104401 4294967295 134512640 135987407 3221224560 3221223248 134812056 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 150397 104401 364 364 0 150033 0 [pid=10440] vsize: 601588 Current children cumulated CPU time (s) 358.7 Current children cumulated vsize (Kb) 601588 [startup+370.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 202748 0 0 0 36347 511 0 0 25 0 1 0 22313579 616960000 104558 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 150625 104558 364 364 0 150261 0 [pid=10440] vsize: 602500 Current children cumulated CPU time (s) 368.58 Current children cumulated vsize (Kb) 602500 [startup+380.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 203221 0 0 0 37335 516 0 0 25 0 1 0 22313579 618426368 104866 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 150983 104866 364 364 0 150619 0 [pid=10440] vsize: 603932 Current children cumulated CPU time (s) 378.51 Current children cumulated vsize (Kb) 603932 [startup+390.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 205382 0 0 0 38320 523 0 0 25 0 1 0 22313579 627257344 107027 4294967295 134512640 135987407 3221224560 3221222944 134828922 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 153139 107027 364 364 0 152775 0 [pid=10440] vsize: 612556 Current children cumulated CPU time (s) 388.43 Current children cumulated vsize (Kb) 612556 [startup+400.016 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 206101 0 0 0 39307 529 0 0 25 0 1 0 22313579 621559808 105508 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 151748 105508 364 364 0 151384 0 [pid=10440] vsize: 606992 Current children cumulated CPU time (s) 398.36 Current children cumulated vsize (Kb) 606992 [startup+410.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 206826 0 0 0 40287 537 0 0 25 0 1 0 22313579 625135616 106233 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 152621 106233 364 364 0 152257 0 [pid=10440] vsize: 610484 Current children cumulated CPU time (s) 408.24 Current children cumulated vsize (Kb) 610484 [startup+420.017 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 207448 0 0 0 41275 543 0 0 25 0 1 0 22313579 627851264 106691 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 153284 106691 364 364 0 152920 0 [pid=10440] vsize: 613136 Current children cumulated CPU time (s) 418.18 Current children cumulated vsize (Kb) 613136 [startup+430.018 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 207738 0 0 0 42262 548 0 0 25 0 1 0 22313579 628776960 106817 4294967295 134512640 135987407 3221224560 3221223408 134790054 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 153510 106817 364 364 0 153146 0 [pid=10440] vsize: 614040 Current children cumulated CPU time (s) 428.1 Current children cumulated vsize (Kb) 614040 [startup+440.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 207978 0 0 0 43251 552 0 0 25 0 1 0 22313579 629846016 106991 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 153771 106991 364 364 0 153407 0 [pid=10440] vsize: 615084 Current children cumulated CPU time (s) 438.03 Current children cumulated vsize (Kb) 615084 [startup+450.019 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210256 0 0 0 44244 558 0 0 25 0 1 0 22313579 639074304 109236 4294967295 134512640 135987407 3221224560 3221222944 134829357 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 156024 109236 364 364 0 155660 0 [pid=10440] vsize: 624096 Current children cumulated CPU time (s) 448.02 Current children cumulated vsize (Kb) 624096 [startup+460.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210373 0 0 0 45232 562 0 0 25 0 1 0 22313579 630784000 107197 4294967295 134512640 135987407 3221224560 3221223248 134811805 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 154000 107197 364 364 0 153636 0 [pid=10440] vsize: 616000 Current children cumulated CPU time (s) 457.94 Current children cumulated vsize (Kb) 616000 [startup+470.02 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210651 0 0 0 46214 569 0 0 25 0 1 0 22313579 632119296 107442 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 154326 107442 364 364 0 153962 0 [pid=10440] vsize: 617304 Current children cumulated CPU time (s) 467.83 Current children cumulated vsize (Kb) 617304 [startup+480.021 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210840 0 0 0 47199 573 0 0 25 0 1 0 22313579 633065472 107631 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 154557 107631 364 364 0 154193 0 [pid=10440] vsize: 618228 Current children cumulated CPU time (s) 477.72 Current children cumulated vsize (Kb) 618228 [startup+490.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 210876 0 0 0 48182 579 0 0 25 0 1 0 22313579 633200640 107667 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 154590 107667 364 364 0 154226 0 [pid=10440] vsize: 618360 Current children cumulated CPU time (s) 487.61 Current children cumulated vsize (Kb) 618360 [startup+500.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 213059 0 0 0 49166 588 0 0 25 0 1 0 22313579 633532416 107694 4294967295 134512640 135987407 3221224560 3221223200 134789619 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 154671 107694 364 364 0 154307 0 [pid=10440] vsize: 618684 Current children cumulated CPU time (s) 497.54 Current children cumulated vsize (Kb) 618684 [startup+510.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 213237 0 0 0 50150 594 0 0 25 0 1 0 22313579 634195968 107839 4294967295 134512640 135987407 3221224560 3221223248 134811701 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 154833 107839 364 364 0 154469 0 [pid=10440] vsize: 619332 Current children cumulated CPU time (s) 507.44 Current children cumulated vsize (Kb) 619332 [startup+520.022 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 213452 0 0 0 51135 601 0 0 25 0 1 0 22313579 634855424 107955 4294967295 134512640 135987407 3221224560 3221223248 134811980 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 154994 107955 364 364 0 154630 0 [pid=10440] vsize: 619976 Current children cumulated CPU time (s) 517.36 Current children cumulated vsize (Kb) 619976 [startup+530.023 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 213466 0 0 0 52123 604 0 0 25 0 1 0 22313579 634855424 107969 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10440/statm): 154994 107969 364 364 0 154630 0 [pid=10440] vsize: 619976 Current children cumulated CPU time (s) 527.27 Current children cumulated vsize (Kb) 619976 [startup+540.023 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 215626 0 0 0 53113 611 0 0 25 0 1 0 22313579 634855424 107973 4294967295 134512640 135987407 3221224560 3221223376 134876866 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 154994 107973 364 364 0 154630 0 [pid=10440] vsize: 619976 Current children cumulated CPU time (s) 537.24 Current children cumulated vsize (Kb) 619976 [startup+550.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 215873 0 0 0 54097 617 0 0 25 0 1 0 22313579 635916288 108154 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 155253 108154 364 364 0 154889 0 [pid=10440] vsize: 621012 Current children cumulated CPU time (s) 547.14 Current children cumulated vsize (Kb) 621012 [startup+560.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 216201 0 0 0 55069 627 0 0 25 0 1 0 22313579 637517824 108416 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 155644 108416 364 364 0 155280 0 [pid=10440] vsize: 622576 Current children cumulated CPU time (s) 556.96 Current children cumulated vsize (Kb) 622576 [startup+570.024 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 216743 0 0 0 56053 633 0 0 25 0 1 0 22313579 640016384 108826 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 156254 108826 364 364 0 155890 0 [pid=10440] vsize: 625016 Current children cumulated CPU time (s) 566.86 Current children cumulated vsize (Kb) 625016 [startup+580.025 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 216935 0 0 0 57039 638 0 0 25 0 1 0 22313579 640679936 108919 4294967295 134512640 135987407 3221224560 3221223248 134811704 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 156416 108919 364 364 0 156052 0 [pid=10440] vsize: 625664 Current children cumulated CPU time (s) 576.77 Current children cumulated vsize (Kb) 625664 [startup+590.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 217095 0 0 0 58026 642 0 0 25 0 1 0 22313579 641212416 109013 4294967295 134512640 135987407 3221224560 3221223408 134790009 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 156546 109013 364 364 0 156182 0 [pid=10440] vsize: 626184 Current children cumulated CPU time (s) 586.68 Current children cumulated vsize (Kb) 626184 [startup+600.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 219419 0 0 0 59012 650 0 0 25 0 1 0 22313579 650571776 111238 4294967295 134512640 135987407 3221224560 3221222924 134827506 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 158831 111238 364 364 0 158467 0 [pid=10440] vsize: 635324 Current children cumulated CPU time (s) 596.62 Current children cumulated vsize (Kb) 635324 [startup+610.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 219790 0 0 0 59993 657 0 0 25 0 1 0 22313579 643719168 109387 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10440/statm): 157158 109387 364 364 0 156794 0 [pid=10440] vsize: 628632 Current children cumulated CPU time (s) 606.5 Current children cumulated vsize (Kb) 628632 [startup+620.026 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 220037 0 0 0 60972 665 0 0 25 0 1 0 22313579 644931584 109601 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 157454 109601 364 364 0 157090 0 [pid=10440] vsize: 629816 Current children cumulated CPU time (s) 616.37 Current children cumulated vsize (Kb) 629816 [startup+630.027 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 220122 0 0 0 61959 670 0 0 25 0 1 0 22313579 645197824 109653 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 157519 109653 364 364 0 157155 0 [pid=10440] vsize: 630076 Current children cumulated CPU time (s) 626.29 Current children cumulated vsize (Kb) 630076 [startup+640.028 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 220159 0 0 0 62950 673 0 0 25 0 1 0 22313579 645464064 109690 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 157584 109690 364 364 0 157220 0 [pid=10440] vsize: 630336 Current children cumulated CPU time (s) 636.23 Current children cumulated vsize (Kb) 630336 [startup+650.029 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 222356 0 0 0 63935 682 0 0 25 0 1 0 22313579 645599232 109731 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10440/statm): 157617 109731 364 364 0 157253 0 [pid=10440] vsize: 630468 Current children cumulated CPU time (s) 646.17 Current children cumulated vsize (Kb) 630468 [startup+660.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 222672 0 0 0 64909 691 0 0 25 0 1 0 22313579 647024640 110014 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 157965 110014 364 364 0 157601 0 [pid=10440] vsize: 631860 Current children cumulated CPU time (s) 656 Current children cumulated vsize (Kb) 631860 [startup+670.029 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 223458 0 0 0 65883 701 0 0 25 0 1 0 22313579 650833920 110701 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 158895 110701 364 364 0 158531 0 [pid=10440] vsize: 635580 Current children cumulated CPU time (s) 665.84 Current children cumulated vsize (Kb) 635580 [startup+680.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 223937 0 0 0 66863 708 0 0 25 0 1 0 22313579 653320192 111114 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 159502 111114 364 364 0 159138 0 [pid=10440] vsize: 638008 Current children cumulated CPU time (s) 675.71 Current children cumulated vsize (Kb) 638008 [startup+690.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 224129 0 0 0 67846 714 0 0 25 0 1 0 22313579 654118912 111240 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 159697 111240 364 364 0 159333 0 [pid=10440] vsize: 638788 Current children cumulated CPU time (s) 685.6 Current children cumulated vsize (Kb) 638788 [startup+700.03 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 224139 0 0 0 68832 719 0 0 25 0 1 0 22313579 654118912 111250 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 159697 111250 364 364 0 159333 0 [pid=10440] vsize: 638788 Current children cumulated CPU time (s) 695.51 Current children cumulated vsize (Kb) 638788 [startup+710.031 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226341 0 0 0 69812 730 0 0 25 0 1 0 22313579 654389248 111296 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 159763 111296 364 364 0 159399 0 [pid=10440] vsize: 639052 Current children cumulated CPU time (s) 705.42 Current children cumulated vsize (Kb) 639052 [startup+720.032 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226518 0 0 0 70790 739 0 0 25 0 1 0 22313579 655056896 111407 4294967295 134512640 135987407 3221224560 3221223248 134811942 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 159926 111407 364 364 0 159562 0 [pid=10440] vsize: 639704 Current children cumulated CPU time (s) 715.29 Current children cumulated vsize (Kb) 639704 [startup+730.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226650 0 0 0 71775 744 0 0 25 0 1 0 22313579 655593472 111506 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 160057 111506 364 364 0 159693 0 [pid=10440] vsize: 640228 Current children cumulated CPU time (s) 725.19 Current children cumulated vsize (Kb) 640228 [startup+740.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 226834 0 0 0 72767 747 0 0 25 0 1 0 22313579 656392192 111624 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 160252 111624 364 364 0 159888 0 [pid=10440] vsize: 641008 Current children cumulated CPU time (s) 735.14 Current children cumulated vsize (Kb) 641008 [startup+750.033 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229007 0 0 0 73749 757 0 0 25 0 1 0 22313579 656392192 111641 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 160252 111641 364 364 0 159888 0 [pid=10440] vsize: 641008 Current children cumulated CPU time (s) 745.06 Current children cumulated vsize (Kb) 641008 [startup+760.034 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229222 0 0 0 74729 764 0 0 24 0 1 0 22313579 657334272 111823 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 160482 111823 364 364 0 160118 0 [pid=10440] vsize: 641928 Current children cumulated CPU time (s) 754.93 Current children cumulated vsize (Kb) 641928 [startup+770.035 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229389 0 0 0 75708 770 0 0 25 0 1 0 22313579 658141184 111990 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 160679 111990 364 364 0 160315 0 [pid=10440] vsize: 642716 Current children cumulated CPU time (s) 764.78 Current children cumulated vsize (Kb) 642716 [startup+780.036 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229586 0 0 0 76694 775 0 0 25 0 1 0 22313579 658669568 112088 4294967295 134512640 135987407 3221224560 3221223408 134790000 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 160808 112088 364 364 0 160444 0 [pid=10440] vsize: 643232 Current children cumulated CPU time (s) 774.69 Current children cumulated vsize (Kb) 643232 [startup+790.037 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229656 0 0 0 77679 781 0 0 25 0 1 0 22313579 658935808 112125 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 160873 112125 364 364 0 160509 0 [pid=10440] vsize: 643492 Current children cumulated CPU time (s) 784.6 Current children cumulated vsize (Kb) 643492 [startup+800.037 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229681 0 0 0 78665 786 0 0 25 0 1 0 22313579 659070976 112150 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 160906 112150 364 364 0 160542 0 [pid=10440] vsize: 643624 Current children cumulated CPU time (s) 794.51 Current children cumulated vsize (Kb) 643624 [startup+810.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229754 0 0 0 79651 790 0 0 25 0 1 0 22313579 659337216 112190 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 160971 112190 364 364 0 160607 0 [pid=10440] vsize: 643884 Current children cumulated CPU time (s) 804.41 Current children cumulated vsize (Kb) 643884 [startup+820.038 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 229806 0 0 0 80631 796 0 0 25 0 1 0 22313579 659468288 112209 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161003 112209 364 364 0 160639 0 [pid=10440] vsize: 644012 Current children cumulated CPU time (s) 814.27 Current children cumulated vsize (Kb) 644012 [startup+830.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 231963 0 0 0 81615 805 0 0 25 0 1 0 22313579 659468288 112210 4294967295 134512640 135987407 3221224560 3221223372 134876997 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161003 112210 364 364 0 160639 0 [pid=10440] vsize: 644012 Current children cumulated CPU time (s) 824.2 Current children cumulated vsize (Kb) 644012 [startup+840.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232083 0 0 0 82596 812 0 0 25 0 1 0 22313579 660004864 112297 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161134 112297 364 364 0 160770 0 [pid=10440] vsize: 644536 Current children cumulated CPU time (s) 834.08 Current children cumulated vsize (Kb) 644536 [startup+850.039 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232236 0 0 0 83581 818 0 0 25 0 1 0 22313579 660815872 112450 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161332 112450 364 364 0 160968 0 [pid=10440] vsize: 645328 Current children cumulated CPU time (s) 843.99 Current children cumulated vsize (Kb) 645328 [startup+860.04 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232298 0 0 0 84564 823 0 0 25 0 1 0 22313579 661217280 112512 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161430 112512 364 364 0 161066 0 [pid=10440] vsize: 645720 Current children cumulated CPU time (s) 853.87 Current children cumulated vsize (Kb) 645720 [startup+870.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 232367 0 0 0 85549 828 0 0 25 0 1 0 22313579 661348352 112548 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161462 112548 364 364 0 161098 0 [pid=10440] vsize: 645848 Current children cumulated CPU time (s) 863.77 Current children cumulated vsize (Kb) 645848 [startup+880.041 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 234523 0 0 0 86533 838 0 0 25 0 1 0 22313579 661348352 112548 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161462 112548 364 364 0 161098 0 [pid=10440] vsize: 645848 Current children cumulated CPU time (s) 873.71 Current children cumulated vsize (Kb) 645848 [startup+890.042 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 234770 0 0 0 87510 847 0 0 25 0 1 0 22313579 662560768 112762 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161758 112762 364 364 0 161394 0 [pid=10440] vsize: 647032 Current children cumulated CPU time (s) 883.57 Current children cumulated vsize (Kb) 647032 [startup+900.043 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 234860 0 0 0 88492 852 0 0 25 0 1 0 22313579 663101440 112852 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 161890 112852 364 364 0 161526 0 [pid=10440] vsize: 647560 Current children cumulated CPU time (s) 893.44 Current children cumulated vsize (Kb) 647560 [startup+910.044 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 235025 0 0 0 89477 856 0 0 25 0 1 0 22313579 663908352 112984 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162087 112984 364 364 0 161723 0 [pid=10440] vsize: 648348 Current children cumulated CPU time (s) 903.33 Current children cumulated vsize (Kb) 648348 [startup+920.044 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 237289 0 0 0 90461 865 0 0 25 0 1 0 22313579 673001472 115182 4294967295 134512640 135987407 3221224560 3221222928 134829294 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 164307 115182 364 364 0 163943 0 [pid=10440] vsize: 657228 Current children cumulated CPU time (s) 913.26 Current children cumulated vsize (Kb) 657228 [startup+930.044 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 237292 0 0 0 91442 871 0 0 25 0 1 0 22313579 664170496 113029 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162151 113029 364 364 0 161787 0 [pid=10440] vsize: 648604 Current children cumulated CPU time (s) 923.13 Current children cumulated vsize (Kb) 648604 [startup+940.044 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 237299 0 0 0 92423 878 0 0 25 0 1 0 22313579 664170496 113036 4294967295 134512640 135987407 3221224560 3221223248 134811972 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162151 113036 364 364 0 161787 0 [pid=10440] vsize: 648604 Current children cumulated CPU time (s) 933.01 Current children cumulated vsize (Kb) 648604 [startup+950.044 s] Raw data (loadavg): 0.99 1.00 0.99 1/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 237419 0 0 0 93403 884 0 0 25 0 1 0 22313579 664834048 113123 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162313 113123 364 364 0 161949 0 [pid=10440] vsize: 649252 Current children cumulated CPU time (s) 942.87 Current children cumulated vsize (Kb) 649252 [startup+960.045 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239621 0 0 0 94387 893 0 0 25 0 1 0 22313579 664965120 113136 4294967295 134512640 135987407 3221224560 3221223408 134790069 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162345 113136 364 364 0 161981 0 [pid=10440] vsize: 649380 Current children cumulated CPU time (s) 952.8 Current children cumulated vsize (Kb) 649380 [startup+970.045 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239626 0 0 0 95365 901 0 0 25 0 1 0 22313579 664965120 113141 4294967295 134512640 135987407 3221224560 3221223248 134811741 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162345 113141 364 364 0 161981 0 [pid=10440] vsize: 649380 Current children cumulated CPU time (s) 962.66 Current children cumulated vsize (Kb) 649380 [startup+980.046 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239627 0 0 0 96345 907 0 0 25 0 1 0 22313579 664965120 113142 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162345 113142 364 364 0 161981 0 [pid=10440] vsize: 649380 Current children cumulated CPU time (s) 972.52 Current children cumulated vsize (Kb) 649380 [startup+990.046 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 239637 0 0 0 97326 913 0 0 25 0 1 0 22313579 664965120 113152 4294967295 134512640 135987407 3221224560 3221223248 134812031 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162345 113152 364 364 0 161981 0 [pid=10440] vsize: 649380 Current children cumulated CPU time (s) 982.39 Current children cumulated vsize (Kb) 649380 [startup+1000.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 241795 0 0 0 98310 922 0 0 25 0 1 0 22313579 664965120 113154 4294967295 134512640 135987407 3221224560 3221223248 134811729 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162345 113154 364 364 0 161981 0 [pid=10440] vsize: 649380 Current children cumulated CPU time (s) 992.32 Current children cumulated vsize (Kb) 649380 [startup+1010.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 241841 0 0 0 99293 927 0 0 25 0 1 0 22313579 665096192 113167 4294967295 134512640 135987407 3221224560 3221223408 134789987 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162377 113167 364 364 0 162013 0 [pid=10440] vsize: 649508 Current children cumulated CPU time (s) 1002.2 Current children cumulated vsize (Kb) 649508 [startup+1020.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 243998 0 0 0 100282 936 0 0 25 0 1 0 22313579 665096192 113168 4294967295 134512640 135987407 3221224560 3221223328 134882554 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162377 113168 364 364 0 162013 0 [pid=10440] vsize: 649508 Current children cumulated CPU time (s) 1012.18 Current children cumulated vsize (Kb) 649508 [startup+1030.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 244045 0 0 0 101264 942 0 0 25 0 1 0 22313579 665227264 113182 4294967295 134512640 135987407 3221224560 3221223248 134811807 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162409 113182 364 364 0 162045 0 [pid=10440] vsize: 649636 Current children cumulated CPU time (s) 1022.06 Current children cumulated vsize (Kb) 649636 [startup+1040.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 244051 0 0 0 102246 947 0 0 25 0 1 0 22313579 665227264 113188 4294967295 134512640 135987407 3221224560 3221223424 134812647 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162409 113188 364 364 0 162045 0 [pid=10440] vsize: 649636 Current children cumulated CPU time (s) 1031.93 Current children cumulated vsize (Kb) 649636 [startup+1050.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 244060 0 0 0 103225 954 0 0 25 0 1 0 22313579 665227264 113197 4294967295 134512640 135987407 3221224560 3221223408 134790016 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162409 113197 364 364 0 162045 0 [pid=10440] vsize: 649636 Current children cumulated CPU time (s) 1041.79 Current children cumulated vsize (Kb) 649636 [startup+1060.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 246218 0 0 0 104210 963 0 0 25 0 1 0 22313579 665227264 113199 4294967295 134512640 135987407 3221224560 3221223408 134790057 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162409 113199 364 364 0 162045 0 [pid=10440] vsize: 649636 Current children cumulated CPU time (s) 1051.73 Current children cumulated vsize (Kb) 649636 [startup+1070.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 246262 0 0 0 105195 969 0 0 25 0 1 0 22313579 665358336 113210 4294967295 134512640 135987407 3221224560 3221223408 134790064 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162441 113210 364 364 0 162077 0 [pid=10440] vsize: 649764 Current children cumulated CPU time (s) 1061.64 Current children cumulated vsize (Kb) 649764 [startup+1080.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 248420 0 0 0 106179 977 0 0 25 0 1 0 22313579 665358336 113212 4294967295 134512640 135987407 3221224560 3221223248 134788799 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162441 113212 364 364 0 162077 0 [pid=10440] vsize: 649764 Current children cumulated CPU time (s) 1071.56 Current children cumulated vsize (Kb) 649764 [startup+1090.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 248423 0 0 0 107161 983 0 0 18 0 1 0 22313579 665358336 113215 4294967295 134512640 135987407 3221224560 3221223408 134789985 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162441 113215 364 364 0 162077 0 [pid=10440] vsize: 649764 Current children cumulated CPU time (s) 1081.44 Current children cumulated vsize (Kb) 649764 [startup+1100.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 250579 0 0 0 108144 993 0 0 25 0 1 0 22313579 665358336 113215 4294967295 134512640 135987407 3221224560 3221223248 134811839 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162441 113215 364 364 0 162077 0 [pid=10440] vsize: 649764 Current children cumulated CPU time (s) 1091.37 Current children cumulated vsize (Kb) 649764 [startup+1110.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 250758 0 0 0 109119 1001 0 0 25 0 1 0 22313579 665890816 113328 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162571 113328 364 364 0 162207 0 [pid=10440] vsize: 650284 Current children cumulated CPU time (s) 1101.2 Current children cumulated vsize (Kb) 650284 [startup+1120.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 250988 0 0 0 110102 1007 0 0 25 0 1 0 22313579 666550272 113426 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162732 113426 364 364 0 162368 0 [pid=10440] vsize: 650928 Current children cumulated CPU time (s) 1111.09 Current children cumulated vsize (Kb) 650928 [startup+1130.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 253147 0 0 0 111083 1016 0 0 25 0 1 0 22313579 675381248 115585 4294967295 134512640 135987407 3221224560 3221222920 134827493 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 164888 115585 364 364 0 164524 0 [pid=10440] vsize: 659552 Current children cumulated CPU time (s) 1120.99 Current children cumulated vsize (Kb) 659552 [startup+1140.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) T 10439 10440 4060 0 -1 0 253148 0 0 0 112059 1024 0 0 25 0 1 0 22313579 666550272 113430 4294967295 134512640 135987407 3221224560 3221223388 135541329 0 0 5 16384 3222434794 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162732 113430 364 364 0 162368 0 [pid=10440] vsize: 650928 Current children cumulated CPU time (s) 1130.83 Current children cumulated vsize (Kb) 650928 [startup+1150.05 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 253160 0 0 0 113043 1030 0 0 25 0 1 0 22313579 666550272 113442 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162732 113442 364 364 0 162368 0 [pid=10440] vsize: 650928 Current children cumulated CPU time (s) 1140.73 Current children cumulated vsize (Kb) 650928 [startup+1160.06 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 253162 0 0 0 114027 1035 0 0 25 0 1 0 22313579 666550272 113444 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162732 113444 364 364 0 162368 0 [pid=10440] vsize: 650928 Current children cumulated CPU time (s) 1150.62 Current children cumulated vsize (Kb) 650928 [startup+1170.06 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255319 0 0 0 115014 1044 0 0 25 0 1 0 22313579 666550272 113445 4294967295 134512640 135987407 3221224560 3221223376 134876785 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162732 113445 364 364 0 162368 0 [pid=10440] vsize: 650928 Current children cumulated CPU time (s) 1160.58 Current children cumulated vsize (Kb) 650928 [startup+1180.06 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255325 0 0 0 115998 1049 0 0 25 0 1 0 22313579 666550272 113451 4294967295 134512640 135987407 3221224560 3221223248 134812053 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/10440/statm): 162732 113451 364 364 0 162368 0 [pid=10440] vsize: 650928 Current children cumulated CPU time (s) 1170.47 Current children cumulated vsize (Kb) 650928 [startup+1190.06 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255378 0 0 0 116983 1055 0 0 25 0 1 0 22313579 666816512 113504 4294967295 134512640 135987407 3221224560 3221223120 134788454 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162797 113504 364 364 0 162433 0 [pid=10440] vsize: 651188 Current children cumulated CPU time (s) 1180.38 Current children cumulated vsize (Kb) 651188 [startup+1200.06 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 255388 0 0 0 117965 1062 0 0 25 0 1 0 22313579 666816512 113514 4294967295 134512640 135987407 3221224560 3221223424 134812638 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162797 113514 364 364 0 162433 0 [pid=10440] vsize: 651188 Current children cumulated CPU time (s) 1190.27 Current children cumulated vsize (Kb) 651188 [startup+1210.06 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 257640 0 0 0 118951 1071 0 0 25 0 1 0 22313579 667078656 113544 4294967295 134512640 135987407 3221224560 3221223248 134811775 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162861 113544 364 364 0 162497 0 [pid=10440] vsize: 651444 Current children cumulated CPU time (s) 1200.22 Current children cumulated vsize (Kb) 651444 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1210.06 s] Raw data (loadavg): 0.99 1.00 0.99 2/55 10440 Raw data (/proc/10440/stat): 10440 (pb2sat) R 10439 10440 4060 0 -1 0 257640 0 0 0 118951 1071 0 0 25 0 1 0 22313579 667078656 113544 4294967295 134512640 135987407 3221224560 3221223248 134811770 0 0 5 16384 0 0 0 17 0 0 0 Raw data (/proc/10440/statm): 162861 113544 364 364 0 162497 0 [pid=10440] vsize: 651444 Current children cumulated CPU time (s) 1200.22 Current children cumulated vsize (Kb) 651444 Sending SIGTERM to -10440 Sleeping 2 seconds Sending SIGKILL to -10440 One traced child (pid=10440) exited with status: 0 All traced children have exited ! Game is over. Child status: 0 Real time (s): 1212.09 CPU time (s): 1202.23 CPU user time (s): 1191.28 CPU system time (s): 10.9443 CPU usage (%): 99.1868 Max. virtual memory (cumulated for all children) (Kb): 659552
ERROR: no interpretation found !