Name | mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370b.opb |
MD5SUM | 8298f3392c738b735ea9c7e42f541654 |
Bench Category | optimization, big integers (OPTBIGINT) |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 155000 |
Biggest coefficient in the objective function | 4294967296 |
Number of bits for the biggest coefficient in the objective function | 33 |
Sum of the numbers in the objective function | 29694485111877 |
Number of bits of the sum of numbers in the objective function | 45 |
Biggest number in a constraint | 4294967296 |
Number of bits of the biggest number in a constraint | 33 |
Biggest sum of numbers in a constraint | 29694485111877 |
Number of bits of the biggest sum of numbers | 45 |
Best result obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Number of variables | 155000 |
Total number of constraints | 5150 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 5150 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 3000 |
LAUNCH ON wulflinc23 THE 2005-09-23 17:08:26 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=8892 boxname=wulflinc23 idbench=688 idsolver=8 numberseed=0 MD5SUM SOLVER: MD5SUM BENCH: 8298f3392c738b735ea9c7e42f541654 /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n370b.opb REAL COMMAND: pb2sat /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n370b.opb IDLAUNCH: 8892 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 3 cpu MHz : 451.185 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.185 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 : 901.12 /proc/meminfo: MemTotal: 1034660 kB MemFree: 895512 kB Buffers: 14752 kB Cached: 105540 kB SwapCached: 0 kB Active: 70984 kB Inactive: 52228 kB HighTotal: 131008 kB HighFree: 25284 kB LowTotal: 903652 kB LowFree: 870228 kB SwapTotal: 2097136 kB SwapFree: 2097136 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6980 kB Slab: 10320 kB Committed_AS: 63624 kB PageTables: 328 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-09-23 17:20:48 (client local time) WITH STATUS 0 IN 739.187 SECONDS stats: 8892 7 739.187 0
c This solver internally uses Chaff 2004.11.15 Simplified s UNKNOWN
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGTERM then SIGKILL): 921600 Kb Enforcing VSIZE limit: 994918400 bytes Current StackSize limit: 67108864 bytes Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 18 0 0 0 0 0 0 0 23 0 1 0 21865035 1527808 2 4294967295 134512640 135987407 3221224560 3221224560 134512928 0 0 5 0 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 373 2 364 364 0 9 0 [pid=9357] vsize: 1492 open syscall for file /oldhome/oroussel/tmp/wulflinc23/normalized-mps-v2-20-10-n370b.opb [startup+10.0017 s] Raw data (loadavg): 0.94 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 2543 0 0 0 991 7 0 0 25 0 1 0 21865035 9502720 1856 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 2320 1856 364 364 0 1956 0 [pid=9357] vsize: 9280 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 9280 [startup+20.0024 s] Raw data (loadavg): 0.95 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 4189 0 0 0 1987 11 0 0 25 0 1 0 21865035 15224832 2754 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 3717 2754 364 364 0 3353 0 [pid=9357] vsize: 14868 Current children cumulated CPU time (s) 19.98 Current children cumulated vsize (Kb) 14868 [startup+30.002 s] Raw data (loadavg): 0.95 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 4468 0 0 0 2986 12 0 0 25 0 1 0 21865035 15900672 3027 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 3882 3027 364 364 0 3518 0 [pid=9357] vsize: 15528 Current children cumulated CPU time (s) 29.98 Current children cumulated vsize (Kb) 15528 [startup+40.0027 s] Raw data (loadavg): 0.96 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 4754 0 0 0 3985 13 0 0 25 0 1 0 21865035 16576512 3309 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 4047 3309 364 364 0 3683 0 [pid=9357] vsize: 16188 Current children cumulated CPU time (s) 39.98 Current children cumulated vsize (Kb) 16188 [startup+50.0033 s] Raw data (loadavg): 0.97 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5018 0 0 0 4984 14 0 0 25 0 1 0 21865035 17252352 3568 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 4212 3568 364 364 0 3848 0 [pid=9357] vsize: 16848 Current children cumulated CPU time (s) 49.98 Current children cumulated vsize (Kb) 16848 [startup+60.0039 s] Raw data (loadavg): 0.97 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5252 0 0 0 5983 14 0 0 25 0 1 0 21865035 17793024 3799 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 4344 3799 364 364 0 3980 0 [pid=9357] vsize: 17376 Current children cumulated CPU time (s) 59.97 Current children cumulated vsize (Kb) 17376 [startup+70.0046 s] Raw data (loadavg): 0.97 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5465 0 0 0 6983 15 0 0 25 0 1 0 21865035 18333696 4008 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 4476 4008 364 364 0 4112 0 [pid=9357] vsize: 17904 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 17904 [startup+80.0042 s] Raw data (loadavg): 0.98 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5665 0 0 0 7981 16 0 0 25 0 1 0 21865035 18874368 4205 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 4608 4205 364 364 0 4244 0 [pid=9357] vsize: 18432 Current children cumulated CPU time (s) 79.97 Current children cumulated vsize (Kb) 18432 [startup+90.0049 s] Raw data (loadavg): 0.98 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 5851 0 0 0 8980 18 0 0 25 0 1 0 21865035 19415040 4388 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 4740 4388 364 364 0 4376 0 [pid=9357] vsize: 18960 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 18960 [startup+100.004 s] Raw data (loadavg): 0.98 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 6028 0 0 0 9980 18 0 0 25 0 1 0 21865035 19820544 4562 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 4839 4562 364 364 0 4475 0 [pid=9357] vsize: 19356 Current children cumulated CPU time (s) 99.98 Current children cumulated vsize (Kb) 19356 [startup+110.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8333 0 0 0 10975 22 0 0 25 0 1 0 21865035 28696576 5389 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7006 5389 364 364 0 6642 0 [pid=9357] vsize: 28024 Current children cumulated CPU time (s) 109.97 Current children cumulated vsize (Kb) 28024 [startup+120.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8418 0 0 0 11975 23 0 0 25 0 1 0 21865035 28831744 5472 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7039 5472 364 364 0 6675 0 [pid=9357] vsize: 28156 Current children cumulated CPU time (s) 119.98 Current children cumulated vsize (Kb) 28156 [startup+130.005 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8548 0 0 0 12974 23 0 0 25 0 1 0 21865035 29237248 5600 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7138 5600 364 364 0 6774 0 [pid=9357] vsize: 28552 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 28552 [startup+140.006 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8677 0 0 0 13974 24 0 0 25 0 1 0 21865035 29507584 5726 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7204 5726 364 364 0 6840 0 [pid=9357] vsize: 28816 Current children cumulated CPU time (s) 139.98 Current children cumulated vsize (Kb) 28816 [startup+150.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8801 0 0 0 14973 24 0 0 25 0 1 0 21865035 29777920 5848 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7270 5848 364 364 0 6906 0 [pid=9357] vsize: 29080 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 29080 [startup+160.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 8920 0 0 0 15973 25 0 0 25 0 1 0 21865035 30048256 5965 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7336 5965 364 364 0 6972 0 [pid=9357] vsize: 29344 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 29344 [startup+170.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9040 0 0 0 16972 25 0 0 25 0 1 0 21865035 30318592 6083 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7402 6083 364 364 0 7038 0 [pid=9357] vsize: 29608 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 29608 [startup+180.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9171 0 0 0 17971 26 0 0 25 0 1 0 21865035 30724096 6211 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7501 6211 364 364 0 7137 0 [pid=9357] vsize: 30004 Current children cumulated CPU time (s) 179.97 Current children cumulated vsize (Kb) 30004 [startup+190.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9298 0 0 0 18971 26 0 0 25 0 1 0 21865035 30994432 6336 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7567 6336 364 364 0 7203 0 [pid=9357] vsize: 30268 Current children cumulated CPU time (s) 189.97 Current children cumulated vsize (Kb) 30268 [startup+200.007 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9423 0 0 0 19971 26 0 0 25 0 1 0 21865035 31264768 6459 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7633 6459 364 364 0 7269 0 [pid=9357] vsize: 30532 Current children cumulated CPU time (s) 199.97 Current children cumulated vsize (Kb) 30532 [startup+210.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9544 0 0 0 20970 27 0 0 25 0 1 0 21865035 31670272 6578 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7732 6578 364 364 0 7368 0 [pid=9357] vsize: 30928 Current children cumulated CPU time (s) 209.97 Current children cumulated vsize (Kb) 30928 [startup+220.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9662 0 0 0 21969 28 0 0 25 0 1 0 21865035 31940608 6694 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7798 6694 364 364 0 7434 0 [pid=9357] vsize: 31192 Current children cumulated CPU time (s) 219.97 Current children cumulated vsize (Kb) 31192 [startup+230.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9778 0 0 0 22969 28 0 0 25 0 1 0 21865035 32210944 6809 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7864 6809 364 364 0 7500 0 [pid=9357] vsize: 31456 Current children cumulated CPU time (s) 229.97 Current children cumulated vsize (Kb) 31456 [startup+240.008 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 9894 0 0 0 23969 28 0 0 25 0 1 0 21865035 32481280 6923 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 7930 6923 364 364 0 7566 0 [pid=9357] vsize: 31720 Current children cumulated CPU time (s) 239.97 Current children cumulated vsize (Kb) 31720 [startup+250.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10006 0 0 0 24969 29 0 0 25 0 1 0 21865035 32886784 7033 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8029 7033 364 364 0 7665 0 [pid=9357] vsize: 32116 Current children cumulated CPU time (s) 249.98 Current children cumulated vsize (Kb) 32116 [startup+260.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10116 0 0 0 25968 29 0 0 25 0 1 0 21865035 33157120 7141 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8095 7141 364 364 0 7731 0 [pid=9357] vsize: 32380 Current children cumulated CPU time (s) 259.97 Current children cumulated vsize (Kb) 32380 [startup+270.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10224 0 0 0 26968 29 0 0 25 0 1 0 21865035 33427456 7247 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8161 7247 364 364 0 7797 0 [pid=9357] vsize: 32644 Current children cumulated CPU time (s) 269.97 Current children cumulated vsize (Kb) 32644 [startup+280.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10330 0 0 0 27967 30 0 0 25 0 1 0 21865035 33697792 7352 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8227 7352 364 364 0 7863 0 [pid=9357] vsize: 32908 Current children cumulated CPU time (s) 279.97 Current children cumulated vsize (Kb) 32908 [startup+290.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10434 0 0 0 28967 31 0 0 25 0 1 0 21865035 33968128 7454 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8293 7454 364 364 0 7929 0 [pid=9357] vsize: 33172 Current children cumulated CPU time (s) 289.98 Current children cumulated vsize (Kb) 33172 [startup+300.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10537 0 0 0 29966 31 0 0 25 0 1 0 21865035 34238464 7555 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8359 7555 364 364 0 7995 0 [pid=9357] vsize: 33436 Current children cumulated CPU time (s) 299.97 Current children cumulated vsize (Kb) 33436 [startup+310.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10637 0 0 0 30966 31 0 0 25 0 1 0 21865035 34508800 7654 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8425 7654 364 364 0 8061 0 [pid=9357] vsize: 33700 Current children cumulated CPU time (s) 309.97 Current children cumulated vsize (Kb) 33700 [startup+320.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10737 0 0 0 31966 32 0 0 25 0 1 0 21865035 34643968 7752 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8458 7752 364 364 0 8094 0 [pid=9357] vsize: 33832 Current children cumulated CPU time (s) 319.98 Current children cumulated vsize (Kb) 33832 [startup+330.009 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10835 0 0 0 32965 32 0 0 25 0 1 0 21865035 34914304 7849 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8524 7849 364 364 0 8160 0 [pid=9357] vsize: 34096 Current children cumulated CPU time (s) 329.97 Current children cumulated vsize (Kb) 34096 [startup+340.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 10932 0 0 0 33965 32 0 0 25 0 1 0 21865035 35184640 7944 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8590 7944 364 364 0 8226 0 [pid=9357] vsize: 34360 Current children cumulated CPU time (s) 339.97 Current children cumulated vsize (Kb) 34360 [startup+350.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11027 0 0 0 34965 33 0 0 25 0 1 0 21865035 35454976 8037 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8656 8037 364 364 0 8292 0 [pid=9357] vsize: 34624 Current children cumulated CPU time (s) 349.98 Current children cumulated vsize (Kb) 34624 [startup+360.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11121 0 0 0 35965 33 0 0 25 0 1 0 21865035 35725312 8130 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8722 8130 364 364 0 8358 0 [pid=9357] vsize: 34888 Current children cumulated CPU time (s) 359.98 Current children cumulated vsize (Kb) 34888 [startup+370.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11214 0 0 0 36964 33 0 0 25 0 1 0 21865035 35995648 8221 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8788 8221 364 364 0 8424 0 [pid=9357] vsize: 35152 Current children cumulated CPU time (s) 369.97 Current children cumulated vsize (Kb) 35152 [startup+380.01 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11307 0 0 0 37964 34 0 0 25 0 1 0 21865035 36130816 8313 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8821 8313 364 364 0 8457 0 [pid=9357] vsize: 35284 Current children cumulated CPU time (s) 379.98 Current children cumulated vsize (Kb) 35284 [startup+390.011 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11397 0 0 0 38963 34 0 0 25 0 1 0 21865035 36401152 8401 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8887 8401 364 364 0 8523 0 [pid=9357] vsize: 35548 Current children cumulated CPU time (s) 389.97 Current children cumulated vsize (Kb) 35548 [startup+400.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11486 0 0 0 39963 35 0 0 25 0 1 0 21865035 36671488 8489 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8953 8489 364 364 0 8589 0 [pid=9357] vsize: 35812 Current children cumulated CPU time (s) 399.98 Current children cumulated vsize (Kb) 35812 [startup+410.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11574 0 0 0 40963 35 0 0 25 0 1 0 21865035 36806656 8576 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 8986 8576 364 364 0 8622 0 [pid=9357] vsize: 35944 Current children cumulated CPU time (s) 409.98 Current children cumulated vsize (Kb) 35944 [startup+420.012 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11662 0 0 0 41962 35 0 0 25 0 1 0 21865035 37076992 8662 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 9052 8662 364 364 0 8688 0 [pid=9357] vsize: 36208 Current children cumulated CPU time (s) 419.97 Current children cumulated vsize (Kb) 36208 [startup+430.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11748 0 0 0 42962 36 0 0 25 0 1 0 21865035 37347328 8747 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 9118 8747 364 364 0 8754 0 [pid=9357] vsize: 36472 Current children cumulated CPU time (s) 429.98 Current children cumulated vsize (Kb) 36472 [startup+440.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11834 0 0 0 43962 36 0 0 25 0 1 0 21865035 37482496 8831 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 9151 8831 364 364 0 8787 0 [pid=9357] vsize: 36604 Current children cumulated CPU time (s) 439.98 Current children cumulated vsize (Kb) 36604 [startup+450.013 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 11920 0 0 0 44961 37 0 0 25 0 1 0 21865035 37752832 8916 4294967295 134512640 135987407 3221224560 3221221872 134555868 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 9217 8916 364 364 0 8853 0 [pid=9357] vsize: 36868 Current children cumulated CPU time (s) 449.98 Current children cumulated vsize (Kb) 36868 [startup+460.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16474 0 0 0 45952 46 0 0 25 0 1 0 21865035 55775232 10522 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13617 10522 364 364 0 13253 0 [pid=9357] vsize: 54468 Current children cumulated CPU time (s) 459.98 Current children cumulated vsize (Kb) 54468 [startup+470.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16505 0 0 0 46952 46 0 0 25 0 1 0 21865035 55775232 10551 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13617 10551 364 364 0 13253 0 [pid=9357] vsize: 54468 Current children cumulated CPU time (s) 469.98 Current children cumulated vsize (Kb) 54468 [startup+480.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16535 0 0 0 47952 46 0 0 25 0 1 0 21865035 55775232 10580 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13617 10580 364 364 0 13253 0 [pid=9357] vsize: 54468 Current children cumulated CPU time (s) 479.98 Current children cumulated vsize (Kb) 54468 [startup+490.014 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16566 0 0 0 48952 46 0 0 25 0 1 0 21865035 55775232 10610 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13617 10610 364 364 0 13253 0 [pid=9357] vsize: 54468 Current children cumulated CPU time (s) 489.98 Current children cumulated vsize (Kb) 54468 [startup+500.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16596 0 0 0 49952 46 0 0 25 0 1 0 21865035 55775232 10638 4294967295 134512640 135987407 3221224560 3221221872 134555863 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13617 10638 364 364 0 13253 0 [pid=9357] vsize: 54468 Current children cumulated CPU time (s) 499.98 Current children cumulated vsize (Kb) 54468 [startup+510.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16625 0 0 0 50952 46 0 0 25 0 1 0 21865035 55775232 10666 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13617 10666 364 364 0 13253 0 [pid=9357] vsize: 54468 Current children cumulated CPU time (s) 509.98 Current children cumulated vsize (Kb) 54468 [startup+520.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16655 0 0 0 51952 46 0 0 25 0 1 0 21865035 55775232 10695 4294967295 134512640 135987407 3221224560 3221221872 134555870 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13617 10695 364 364 0 13253 0 [pid=9357] vsize: 54468 Current children cumulated CPU time (s) 519.98 Current children cumulated vsize (Kb) 54468 [startup+530.015 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16718 0 0 0 52952 46 0 0 25 0 1 0 21865035 55910400 10757 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13650 10757 364 364 0 13286 0 [pid=9357] vsize: 54600 Current children cumulated CPU time (s) 529.98 Current children cumulated vsize (Kb) 54600 [startup+540.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16787 0 0 0 53952 46 0 0 25 0 1 0 21865035 56045568 10824 4294967295 134512640 135987407 3221224560 3221221792 134534646 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13683 10824 364 364 0 13319 0 [pid=9357] vsize: 54732 Current children cumulated CPU time (s) 539.98 Current children cumulated vsize (Kb) 54732 [startup+550.016 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16853 0 0 0 54952 47 0 0 25 0 1 0 21865035 56180736 10889 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13716 10889 364 364 0 13352 0 [pid=9357] vsize: 54864 Current children cumulated CPU time (s) 549.99 Current children cumulated vsize (Kb) 54864 [startup+560.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16921 0 0 0 55952 47 0 0 25 0 1 0 21865035 56315904 10956 4294967295 134512640 135987407 3221224560 3221221596 134860968 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13749 10956 364 364 0 13385 0 [pid=9357] vsize: 54996 Current children cumulated CPU time (s) 559.99 Current children cumulated vsize (Kb) 54996 [startup+570.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 16985 0 0 0 56952 47 0 0 25 0 1 0 21865035 56586240 11019 4294967295 134512640 135987407 3221224560 3221221872 134555861 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13815 11019 364 364 0 13451 0 [pid=9357] vsize: 55260 Current children cumulated CPU time (s) 569.99 Current children cumulated vsize (Kb) 55260 [startup+580.017 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17052 0 0 0 57952 47 0 0 25 0 1 0 21865035 56721408 11084 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13848 11084 364 364 0 13484 0 [pid=9357] vsize: 55392 Current children cumulated CPU time (s) 579.99 Current children cumulated vsize (Kb) 55392 [startup+590.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17116 0 0 0 58951 47 0 0 25 0 1 0 21865035 56856576 11147 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13881 11147 364 364 0 13517 0 [pid=9357] vsize: 55524 Current children cumulated CPU time (s) 589.98 Current children cumulated vsize (Kb) 55524 [startup+600.018 s] Raw data (loadavg): 0.99 0.98 0.92 3/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17180 0 0 0 59951 48 0 0 25 0 1 0 21865035 56991744 11210 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13914 11210 364 364 0 13550 0 [pid=9357] vsize: 55656 Current children cumulated CPU time (s) 599.99 Current children cumulated vsize (Kb) 55656 [startup+610.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17244 0 0 0 60951 48 0 0 25 0 1 0 21865035 57126912 11273 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13947 11273 364 364 0 13583 0 [pid=9357] vsize: 55788 Current children cumulated CPU time (s) 609.99 Current children cumulated vsize (Kb) 55788 [startup+620.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17306 0 0 0 61951 48 0 0 25 0 1 0 21865035 57262080 11334 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 13980 11334 364 364 0 13616 0 [pid=9357] vsize: 55920 Current children cumulated CPU time (s) 619.99 Current children cumulated vsize (Kb) 55920 [startup+630.018 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17367 0 0 0 62950 49 0 0 25 0 1 0 21865035 57397248 11394 4294967295 134512640 135987407 3221224560 3221221872 134555859 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 14013 11394 364 364 0 13649 0 [pid=9357] vsize: 56052 Current children cumulated CPU time (s) 629.99 Current children cumulated vsize (Kb) 56052 [startup+640.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 17430 0 0 0 63950 49 0 0 25 0 1 0 21865035 57532416 11455 4294967295 134512640 135987407 3221224560 3221221872 134555852 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 14046 11455 364 364 0 13682 0 [pid=9357] vsize: 56184 Current children cumulated CPU time (s) 639.99 Current children cumulated vsize (Kb) 56184 [startup+650.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 22358 0 0 0 64938 59 0 0 25 0 1 0 21865035 74006528 15632 4294967295 134512640 135987407 3221224560 3220309136 134559291 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 18068 15632 364 364 0 17704 0 [pid=9357] vsize: 72272 Current children cumulated CPU time (s) 649.97 Current children cumulated vsize (Kb) 72272 [startup+660.019 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 52311 0 0 0 65873 123 0 0 25 0 1 0 21865035 160399360 35126 4294967295 134512640 135987407 3221224560 3220315980 135499901 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 39160 35126 364 364 0 38796 0 [pid=9357] vsize: 156640 Current children cumulated CPU time (s) 659.96 Current children cumulated vsize (Kb) 156640 [startup+670.02 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 85467 0 0 0 66801 193 0 0 25 0 1 0 21865035 266989568 52218 4294967295 134512640 135987407 3221224560 3220366172 134637002 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 65183 52218 364 364 0 64819 0 [pid=9357] vsize: 260732 Current children cumulated CPU time (s) 669.94 Current children cumulated vsize (Kb) 260732 [startup+680.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 111318 0 0 0 67744 250 0 0 25 0 1 0 21865035 355741696 65563 4294967295 134512640 135987407 3221224560 3220406148 135478472 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 86851 65563 364 364 0 86487 0 [pid=9357] vsize: 347404 Current children cumulated CPU time (s) 679.94 Current children cumulated vsize (Kb) 347404 [startup+690.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 133686 0 0 0 68698 294 0 0 25 0 1 0 21865035 516059136 87414 4294967295 134512640 135987407 3221224560 3220529804 135482121 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 125991 87414 364 364 0 125627 0 [pid=9357] vsize: 503964 Current children cumulated CPU time (s) 689.92 Current children cumulated vsize (Kb) 503964 [startup+700.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 183364 0 0 0 69595 394 0 0 25 0 1 0 21865035 688123904 117768 4294967295 134512640 135987407 3221224560 3220385776 134887489 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 167999 117768 364 364 0 167635 0 [pid=9357] vsize: 671996 Current children cumulated CPU time (s) 699.89 Current children cumulated vsize (Kb) 671996 [startup+710.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 203208 0 0 0 70545 444 0 0 25 0 1 0 21865035 624795648 112830 4294967295 134512640 135987407 3221224560 3220484832 134637036 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 152538 112830 364 364 0 152174 0 [pid=9357] vsize: 610152 Current children cumulated CPU time (s) 709.89 Current children cumulated vsize (Kb) 610152 [startup+720.021 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 218941 0 0 0 71507 481 0 0 25 0 1 0 21865035 629932032 128309 4294967295 134512640 135987407 3221224560 3220692768 135293379 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 153792 128309 364 364 0 153428 0 [pid=9357] vsize: 615168 Current children cumulated CPU time (s) 719.88 Current children cumulated vsize (Kb) 615168 [startup+730.022 s] Raw data (loadavg): 0.99 0.98 0.92 2/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) R 9356 9357 4060 0 -1 0 233563 0 0 0 72477 512 0 0 25 0 1 0 21865035 632635392 142684 4294967295 134512640 135987407 3221224560 3220401696 134931253 0 0 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 154452 142684 364 364 0 154088 0 [pid=9357] vsize: 617808 Current children cumulated CPU time (s) 729.89 Current children cumulated vsize (Kb) 617808 Mem limit exceeded: sending SIGTERM then SIGKILL [startup+738.797 s] Raw data (loadavg): 0.99 0.98 0.92 1/55 9357 Raw data (/proc/9357/stat): 9357 (pb2sat) T 9356 9357 4060 0 -1 0 245125 0 0 0 73329 536 0 0 25 0 1 0 21865035 978186240 154085 4294967295 134512640 135987407 3221224560 3220412944 135544035 0 0 5 16384 3222434794 0 0 17 1 0 0 Raw data (/proc/9357/statm): 238815 154085 364 364 0 238451 0 [pid=9357] vsize: 955260 Current children cumulated CPU time (s) 738.65 Current children cumulated vsize (Kb) 955260 Sending SIGTERM to -9357 Sleeping 2 seconds [startup+740.022 s] Raw data (loadavg): 0.99 0.98 0.92 1/56 9358 Raw data (/proc/9357/stat): 9357 (pb2sat) S 9356 9357 4060 0 -1 0 245126 0 0 0 73350 536 0 0 25 0 1 0 21865035 978186240 154086 4294967295 134512640 135987407 3221224560 3220411496 135549753 0 16384 5 16384 0 0 0 17 1 0 0 Raw data (/proc/9357/statm): 238815 154086 364 364 0 238451 0 [pid=9357] vsize: 955260 Current children cumulated CPU time (s) 738.86 Current children cumulated vsize (Kb) 955260 Sending SIGKILL to -9357 One traced child (pid=9357) 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): 741.119 CPU time (s): 739.187 CPU user time (s): 733.504 CPU system time (s): 5.68314 CPU usage (%): 99.7393 Max. virtual memory (cumulated for all children) (Kb): 955260
ERROR: no interpretation found !